@Comment{
  Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)

  SPDX-License-Identifier: BSD-2-Clause
}

@Comment{References specific to this paper.
	 Please use this sparingly, anything else than a one-off
	 Should go into the group bib files!}

@Online{Heiser:10y-blog,
  author = 	 {Gernot Heiser},
  title = 	 {10 Years {seL4}: Still the Best, Still Getting Better},
  year = 	 2019,
  note = 	 {Blog post},
  url = 	 {https://microkerneldude.wordpress.com/2019/08/06/10-years-sel4-still-the-best-still-getting-better/},
  month = 	 aug}

